Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
871	CS109B Notes for LectureWhy Grammars? Useful for describing programming languages. First great use of a theory to design better software \| a multi-person-year job (parsing Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:59 Formal grammar Production RE Parsing Applied mathematics Formal languages Theoretical computer science Linguistics
872	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Logical connective FO First-order logic Propositional variable Logic Mathematical logic Propositional calculus
873	Efficient Algorithms for Regular Expression Constrained Sequence Alignment Yun-Sheng Chung† , Chin Lung Lu¶ , and Chuan Yi Tang† † Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2006-07-07 08:54:34 Linguistics Mathematics Computing Formal languages Character encoding String
874	Perl versiondocumentation - Unicode::Normalize NAME Unicode::Normalize - Unicode Normalization Forms SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:41:20 Data types Primitive types Unicode equivalence String Formal languages Unicode NFC Database normalization Combining character Computing Software engineering Character encoding
875	Chapter 1. The Syntax Definition Formalism SDF Mark van den Brand Paul Klint Jurgen Vinju:18:09 +0200 (Mon, 22 Oct 2007) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-12-04 10:03:46 Compiler construction Programming language theory Parser generators Programming language implementation Syntax Definition Formalism ASF+SDF Meta Environment SDF2 Attribute grammar Parsing Formal languages Software engineering Computing
876	Belief Revision with Sensing and Fallible Actions James P. Delgrande Hector J. Levesque School of Computing Science Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:46:26 Formal languages Mathematical logic Interpretation Philosophy of language Philosophy of mind Semantics Action description language Function Mathematics Logic Model theory
877	LCTES 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (In conjunction with PLDITucson, AZ, USA, Junehttp://lctes08.flux.utah.edu/ Add to Reading List Source URL: lctes08.flux.utah.edu Language: English - Date: 2007-12-03 13:30:29 Debugging SIGPLAN Compiler Computing Embedded operating systems Real-time operating systems Formal methods Programming language implementation Software Embedded system
878	Common Substrings in Random Strings Eric Blais, Mathieu Blanchette McGill Centre for Bioinformatics [eblais,blanchem]@mcb.mcgill.ca Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2006-07-04 23:00:44 Substring Mathematics Linguistics Discrete mathematics String Formal languages Combinatorics on words
879	Perl versiondocumentation - Pod::Parser NAME Pod::Parser - base class for creating POD filters and translators SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:42:55 Plain Old Documentation Computer programming Perl module Parsing Eval Formal languages Perl Computing Software engineering
880	BITES instead of FIRST for Parsing Expression Grammar∗ Roman R. Redziejowski Abstract In an earlier paper, the author adapted to Parsing Expression Grammars (PEGs) the properties FIRST and FOLLOW used in the constructi Add to Reading List Source URL: www.romanredz.se Language: English - Date: 2011-09-08 11:39:06 Theoretical computer science Parsing expression grammar String LL parser FO Regular expression Context-free grammar Regular language Lookahead Formal languages Combinatorics Mathematics

UPDATE